Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿ”’Rust Borrowing
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Borrow checker says โ€œNoโ€! An error that scares me every single time!
polymonster.co.ukยท22h
๐Ÿ”’Rust Borrowing
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฎType Inference Visualization
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ“ฆDependency Analysis
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท8hยท
Discuss: DEV
โš™๏ธTOML Parsers
Flag this post
Curly Flow Matching for Learning Non-gradient Field Dynamics
arxiv.orgยท18h
๐Ÿ”ML Language
Flag this post
The Rust Book Brown University Chapter 4.3 Incorrect Permission
reddit.comยท11hยท
Discuss: r/rust
๐Ÿ”’Rust Borrowing
Flag this post
Oops, My UUIDs Collided
alexsci.comยท4hยท
Discuss: Hacker News
๐Ÿ”—Hash Functions
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท2hยท
Discuss: Hacker News
๐Ÿ”ฌNanopasses
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท21hยท
โœ…Type Checking
Flag this post
Teddy Bear Trash Compactor
internet.placeยท2dยท
Discuss: Lobsters
๐Ÿ”€Control Structures
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท22hยท
Discuss: Hacker News
๐ŸŒŠGradual Typing
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท59m
โš–๏ธInference Rules
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comยท5h
๐ŸŽฒProperty Testing
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท8hยท
๐Ÿ—‚๏ธType Indexing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท22h
๐Ÿ“šStack Allocation
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.devยท1dยท
๐ŸŒ™Lua
Flag this post
A Beginnerโ€™s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.comยท14hยท
Discuss: DEV
๐ŸŒ‰Language Bridges
Flag this post
Building Up And Sanding Down
endler.devยท22h
๐Ÿ”งAPI Design
Flag this post